Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game
نویسندگان
چکیده
In this article, we present a new algorithm to solve the supervisory control problem over nonterminating processes modeled as $\omega$ -regular automata. A solution was obtained by Thistle in 1995, which uses complex manipulations of We show through reduction obliging games , which, turn, can be reduced reactive synthesis. Therefore, our results symbolic based on manipulating sets states.
منابع مشابه
Supervisory Controller Synthesis for Product Lines Using CIF 3
Using the CIF 3 toolset, we illustrate the general idea of controller synthesis for product line engineering for a prototypical example of a family of coffee machines. The challenge is to integrate a number of given components into a family of products such that the resulting behaviour is guaranteed to respect an attributed feature model as well as additional behavioural requirements. The propo...
متن کاملReal-time Sound Synthesis Using an Inexpensive Wireless Game Controller
Due to the development of the sensor tehcnology it is possible to manufacture wireless multi-degrees of freedom controllers at reasonable costs. We have tested one manufactured by a small finnish start-up company in controlling real-time sound synthesis parameters. According to our experience, it is very suitable for it.
متن کاملOn the Controller Synthesis for Finite-State Markov Decision Processes
The controller synthesis problem is one of the fundamental research topics in the area of system design. Loosely speaking, the task is to modify or limit some parts of a given system so that a given property is satisfied. In this presentation, we concentrate on a class of probabilistic systems that can be modelled by finitestate Markov decision processes. Intuitively, Markov decision processes ...
متن کاملIterative learning controller synthesis using FIR models for batch processes
−Adaptive iterative learning control based on the measured input-output data is proposed to solve the traditional iterative learning control problem in the batch process. It produces a control law with self-tuning capability by combining a batch-to-batch model estimation procedure with the control design technique. To build the unknown batch operation system, the finite impulse response (FIR) m...
متن کاملReliable decentralized PID controller synthesis for two-channel MIMO processes
Reliable stabilization and regulation of two-channel decentralizedmulti-inputmulti-output (MIMO) control systems is considered. The system has integral-action due to using proportional+ integral+ derivative (PID) controllers. Closed-loop stability and asymptotic tracking of step-input references are achieved at each output channel when all controllers are operational. Stability is maintained wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2023
ISSN: ['0018-9286', '1558-2523', '2334-3303']
DOI: https://doi.org/10.1109/tac.2022.3143108